Abstraction and verification in Alphard : a symbol table example
نویسندگان
چکیده
ION and VERIFICATION in ALPHARD: A Symbol Table Example Ralph L. London, USC Information Sciences Institute Mary Shaw, Carnegie-Mellon University Wm. A. Wulf, Carnegie-Mellon University
منابع مشابه
An Introduction to the Construction and Verification of Alphard Programs
The programming language Alphard is designed to provide support for both the methodologies of "well-structured" programming and the techniques of formal program verification. Language constructs allow a programmer to isolate an abstraction, specifying its behavior publicly while localizing.knowledge about its implementation. The verification of such an abstraction consists of showing that its i...
متن کاملAbstraction and verification in Alphard : design and verification of a tree handler
ION and VERIFICATION in ALPHARD: Design and Verification of a Tree Handler M a r y S h a w C o m p u t e r S c i e n c e D e p a r t m e n t C a r n e g i e M e l l o n U n i v e r s i t y P i t t s b u r g h , P a . 1 5 2 1 3
متن کاملCorrection to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"
Language Issues An Object-Oriented Command Language ............................................ R. T. Snodgrass 1 A Symbol Table Abstraction to Implement Languages with Explicit Scope Control . . R. P. Cook and T. J. LeBlanc 8 Simulation of Procedure Variables Using Ada Tasks ......................... D. A. Lamb and P. N. Hilfinger 13 Language Features for Access Control .........................
متن کاملAlphard: toward a Language to Support Structured Programs
This report discusses the programming language tools needed to support the expression of 'well-structured' programs. In particular it deals with the tools needed to express abstractions and their realizations; to this end it introduces the concept of a 'form' to subsume the notions of type (mode), macro, procedure, generator, and coercion. An extended example is given together with the sketch o...
متن کاملVol.60 (Mobile and Wireless 2014), pp.37-40
In this paper, we will deal with the reversing technique to verifying the symbol table in Objective C compiler. The proposed technique reconstructs inputted Objective C program segments declarations part by using information of the symbol table inserted during the process of declaration analysis phase of the Objective C compiler, and therefore we can verify the completeness of symbol table desi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011